翻訳と辞書
Words near each other
・ Universal Express Pass
・ Universal extra dimension
・ Universal Fighting System
・ Universal File Format
・ Universal Flash Storage
・ Universal Flowering
・ Universal football
・ Universal force field
・ Universal Forest Products
・ Universal Forum of Cultures
・ Universal Foundation for Better Living
・ Universal Games
・ Universal gateway
・ Universal generalization
・ Universal Genève
Universal geometric algebra
・ Universal grammar
・ Universal graph
・ Universal Graphics Module
・ Universal Great Brotherhood
・ Universal grinder
・ Universal Groove
・ Universal Gym Equipment
・ Universal Hall
・ Universal Hall Pass
・ Universal Handy Interface
・ Universal Hartland Visual Effects
・ Universal hashing
・ Universal HD
・ Universal health care


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Universal geometric algebra : ウィキペディア英語版
Universal geometric algebra
In mathematics, a universal geometric algebra is a type of geometric algebra generated by real vector spaces endowed with an indefinite quadratic form. Some authors restrict this to the infinite-dimensional case.
The universal geometric algebra \mathcal(n,n) of order is defined as the Clifford algebra of -dimensional pseudo-Euclidean space .〔Pozo, José María; Sobczyk, Garret. ''(Geometric Algebra in Linear Algebra and Geometry )''〕 This algebra is also called the "mother algebra". It has a nondegenerate signature. The vectors in this space generate the algebra through the geometric product. This product makes the manipulation of vectors more similar to the familiar algebraic rules, although non-commutative.
When , i.e. there are countably many dimensions, then \mathcal(\infty,\infty) is called simply the ''universal geometric algebra'' (UGA), which contains vector spaces such as and their respective geometric algebras \mathcal(p,q). A special case is the algebra of spacetime, STA.
UGA contains all finite-dimensional geometric algebras (GA).
The elements of UGA are called multivectors. Every multivector can be written as the sum of several -vectors. Some ''r''-vectors are scalars (), vectors () and bivectors (). Scalars are identical to the real numbers. Complex number are not used as scalars because there already exist structures in UGA that are equivalent to the complex numbers.
One may generate a finite-dimensional GA by choosing a unit pseudoscalar (). The set of all vectors that satisfy
: a\wedge I=0
is a vector space. The geometric product of the vectors in this vector space then defines the GA, of which is a member. Since every finite-dimensional GA has a unique (up to a sign), one can define or characterize the GA by it. A pseudoscalar can be interpreted as an ''n''-plane segment of unit area in an ''n''-dimensional vector space.
== Vector manifolds ==
A vector manifold is a special set of vectors in the UGA.〔Chapter 1 of: (Hestenes & G. Sobczyk ) From Clifford Algebra to Geometric Calculus〕 These vectors generate a set of linear spaces tangent to the vector manifold. Vector manifolds were introduced to do calculus on manifolds so one can define (differentiable) manifolds as a set isomorphic to a vector manifold. The difference lies in that a vector manifold is algebraically rich while a manifold is not. Since this is the primary motivation for vector manifolds the following interpretation is rewarding.
Consider a vector manifold as a special set of "points". These points are members of an algebra and so can be added and multiplied. These points generate a tangent space of definite dimension "at" each point. This tangent space generates a (unit) pseudoscalar which is a function of the points of the vector manifold. A vector manifold is characterized by its pseudoscalar. The pseudoscalar can be interpreted as a tangent oriented -plane segment of unit area. Bearing this in mind, a manifold looks locally like at every point.
Although a vector manifold can be treated as a completely abstract object, a geometric algebra is created so that every element of the algebra represents a geometric object and algebraic operations such as adding and multiplying correspond to geometric transformations.
Consider a set of vectors in UGA. If this set of vectors generates a set of "tangent" simple -vectors, which is to say
: \forall x\in M^n: \exists I_n(x)=x\wedge A(x) \mid I_n(x)\or M_n=x
then is a vector manifold, the value of is that of a simple -vector. If one interprets these vectors as points then is the pseudoscalar of an algebra tangent to at . can be interpreted as a unit area at an oriented -plane: this is why it is labeled with . The function gives a distribution of these tangent ''n''-planes over .
A vector manifold is defined similarly to how a particular GA can be defined, by its unit pseudoscalar. The set is not closed under addition and multiplication by scalars. This set is ''not'' a vector space. At every point the vectors generate a tangent space of definite dimension. The vectors in this tangent space are different from the vectors of the vector manifold. In comparison to the original set they are bivectors, but since they span a linear space—the tangent space—they are also referred to as vectors. Notice that the dimension of this space is the dimension of the manifold. This linear space generates an algebra and its unit pseudoscalar characterizes the vector manifold. This is the manner in which the set of abstract vectors defines the vector manifold. Once the set of "points" generates the "tangent space" the "tangent algebra" and its "pseudoscalar" follow immediately.
The unit pseudoscalar of the vector manifold is a (pseudoscalar-valued) function of the points on the vector manifold. If i.e. this function is smooth then one says that the vector manifold is smooth.〔Chapter 4 of: (Hestenes & G. Sobczyk ) From Clifford Algebra to Geometric Calculus〕 A manifold can be defined as a set isomorphic to a vector manifold. The points of a manifold do not have any algebraic structure and pertain only to the set itself. This is the main difference between a vector manifold and a manifold that is isomorphic. A vector manifold is always a subset of Universal Geometric Algebra by definition and the elements can be manipulated algebraically. In contrast, a manifold is not a subset of any set other than itself, but the elements have no algebraic relation among them.
The differential geometry of a manifold〔 can be carried out in a vector manifold. All quantities relevant to differential geometry can be calculated from if it is a differentiable function. This is the original motivation behind its definition. Vector manifolds allow an approach to the differential geometry of manifolds alternative to the "build-up" approach where structures such as metrics, connections and fiber bundles are introduced as needed.〔Chapter 5 of: (Hestenes & G. Sobczyk ) From Clifford Algebra to Geometric Calculus〕 The relevant structure of a vector manifold is its tangent algebra. The use of geometric calculus along with the definition of vector manifold allow the study of geometric properties of manifolds without using coordinates.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Universal geometric algebra」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.